#include "cpptest.h"

/* CPPTEST_TEST_SUITE_CODE_BEGIN AdditionalIncludes */
/* CPPTEST_TEST_SUITE_CODE_END AdditionalIncludes */

CPPTEST_CONTEXT("/Timer/Timer/clock.c");
CPPTEST_TEST_SUITE_INCLUDED_TO("/Timer/Timer/clock.c");

EXTERN_C_LINKAGE void TestSuite_set_time_b4fb25d2_testSuiteBegin(void);
EXTERN_C_LINKAGE int TestSuite_set_time_b4fb25d2_callTest(const char*);

CPPTEST_TEST_SUITE(TestSuite_set_time_b4fb25d2);
        CPPTEST_TEST_SUITE_SETUP(TestSuite_set_time_b4fb25d2_testSuiteSetUp);
        CPPTEST_TEST(TestSuite_set_time_b4fb25d2_test_set_time_1);
        CPPTEST_TEST(TestSuite_set_time_b4fb25d2_test_set_time_2);
        CPPTEST_TEST(TestSuite_set_time_b4fb25d2_test_set_time_3);
        CPPTEST_TEST(TestSuite_set_time_b4fb25d2_test_set_time_4);
        CPPTEST_TEST(TestSuite_set_time_b4fb25d2_test_set_time_5);
        CPPTEST_TEST_SUITE_TEARDOWN(TestSuite_set_time_b4fb25d2_testSuiteTearDown);
CPPTEST_TEST_SUITE_END();
        
void TestSuite_set_time_b4fb25d2_test_set_time_1(void);
void TestSuite_set_time_b4fb25d2_test_set_time_2(void);
void TestSuite_set_time_b4fb25d2_test_set_time_3(void);
void TestSuite_set_time_b4fb25d2_test_set_time_4(void);
void TestSuite_set_time_b4fb25d2_test_set_time_5(void);

CPPTEST_TEST_SUITE_REGISTRATION(TestSuite_set_time_b4fb25d2);

void TestSuite_set_time_b4fb25d2_testSuiteSetUp(void);
void TestSuite_set_time_b4fb25d2_testSuiteSetUp(void)
{
/* CPPTEST_TEST_SUITE_CODE_BEGIN TestSuiteSetUp */
/* CPPTEST_TEST_SUITE_CODE_END TestSuiteSetUp */
}

void TestSuite_set_time_b4fb25d2_testSuiteTearDown(void);
void TestSuite_set_time_b4fb25d2_testSuiteTearDown(void)
{
/* CPPTEST_TEST_SUITE_CODE_BEGIN TestSuiteTearDown */
/* CPPTEST_TEST_SUITE_CODE_END TestSuiteTearDown */
}

void TestSuite_set_time_b4fb25d2_setUp(void);
void TestSuite_set_time_b4fb25d2_setUp(void)
{
/* CPPTEST_TEST_SUITE_CODE_BEGIN TestCaseSetUp */
/* CPPTEST_TEST_SUITE_CODE_END TestCaseSetUp */
}

void TestSuite_set_time_b4fb25d2_tearDown(void);
void TestSuite_set_time_b4fb25d2_tearDown(void)
{
/* CPPTEST_TEST_SUITE_CODE_BEGIN TestCaseTearDown */
/* CPPTEST_TEST_SUITE_CODE_END TestCaseTearDown */
}


/* CPPTEST_TEST_CASE_BEGIN test_set_time_1 */
/* CPPTEST_TEST_CASE_CONTEXT void set_time(time_t) */
void TestSuite_set_time_b4fb25d2_test_set_time_1()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (new_time) */ 
    time_t _new_time  = -1L;
    /* Pre-condition report */
    CPPTEST_REPORT_INTEGER("Input: time_t _new_time", ( _new_time ));
    {
        /* Tested function call */
        set_time(_new_time);
        /* Post-condition report */
        /* Post-condition check */
    }
}
/* CPPTEST_TEST_CASE_END test_set_time_1 */

/* CPPTEST_TEST_CASE_BEGIN test_set_time_2 */
/* CPPTEST_TEST_CASE_CONTEXT void set_time(time_t) */
void TestSuite_set_time_b4fb25d2_test_set_time_2()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (new_time) */ 
    time_t _new_time  = 1L;
    /* Pre-condition report */
    CPPTEST_REPORT_INTEGER("Input: time_t _new_time", ( _new_time ));
    {
        /* Tested function call */
        set_time(_new_time);
        /* Post-condition report */
        /* Post-condition check */
    }
}
/* CPPTEST_TEST_CASE_END test_set_time_2 */

/* CPPTEST_TEST_CASE_BEGIN test_set_time_3 */
/* CPPTEST_TEST_CASE_CONTEXT void set_time(time_t) */
void TestSuite_set_time_b4fb25d2_test_set_time_3()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (new_time) */ 
    time_t _new_time  = cpptestLimitsGetMaxLong();
    /* Pre-condition report */
    CPPTEST_REPORT_INTEGER("Input: time_t _new_time", ( _new_time ));
    {
        /* Tested function call */
        set_time(_new_time);
        /* Post-condition report */
        /* Post-condition check */
    }
}
/* CPPTEST_TEST_CASE_END test_set_time_3 */

/* CPPTEST_TEST_CASE_BEGIN test_set_time_4 */
/* CPPTEST_TEST_CASE_CONTEXT void set_time(time_t) */
void TestSuite_set_time_b4fb25d2_test_set_time_4()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (new_time) */ 
    time_t _new_time  = cpptestLimitsGetMinLong();
    /* Pre-condition report */
    CPPTEST_REPORT_INTEGER("Input: time_t _new_time", ( _new_time ));
    {
        /* Tested function call */
        set_time(_new_time);
        /* Post-condition report */
        /* Post-condition check */
    }
}
/* CPPTEST_TEST_CASE_END test_set_time_4 */

/* CPPTEST_TEST_CASE_BEGIN test_set_time_5 */
/* CPPTEST_TEST_CASE_CONTEXT void set_time(time_t) */
void TestSuite_set_time_b4fb25d2_test_set_time_5()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (new_time) */ 
    time_t _new_time  = 0L;
    /* Pre-condition report */
    CPPTEST_REPORT_INTEGER("Input: time_t _new_time", ( _new_time ));
    {
        /* Tested function call */
        set_time(_new_time);
        /* Post-condition report */
        /* Post-condition check */
    }
}
/* CPPTEST_TEST_CASE_END test_set_time_5 */
